Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

标枪训练中对影响标枪飞行因素的分析

运用空气动力学原理,对标枪的纵轴旋转与压强阻力、偏向力、上升力及稳定性的关系进行分析研究,以更好地指导运动训练的实践。     

基于0-1规划的弹种决策与发射时序优化

对于身管发射武器系统,同一发射单元使用不同弹种完成作战任务时,需要确立合适的弹种决策与最佳的发射时机.提出用O-1变量来描述弹种决策变量.通过时弹种发射机制及武器系统控制特点进行分析,构造多种0-1变量用以描述武器系统作战时序之间的约束关系,建立了弹种发射时序的0-1规划模型,并用LINGO软件实现了0-1规划的求解.给出了典型应用实例,进行了仿真计算,结果表明,该方法简单可行.     

一类参数激励与强迫激励并存的非线性振动系统的分叉

本文用Ｌｉａｐｕｎｏｖ—Ｓｃｈｍｉｄｔ方法研究了同时受参数激励与强迫激励作用的非线性振动系统的亚谐分叉问题,用奇异性理论确定了等价意义下的分叉方程的形式,导出了必需的分叉系数,求出并且分析了１／２—１／２亚谐共振分叉方程的普适开折,画出了各个结构稳定域及分叉集上的响应图。     

基于Digital UNIX平台的实时数字引导实现方法

根据导弹飞行试验任务中对测控设备进行数字引导的实际需求,介绍了数字引导在飞行试验任务中的作用和基于Digital UNIX平台实现对测控设备数字引导的原理,从确保数字引导实时性、引导数据可靠性、引导外推点确定及修正引导方法四个方面介绍实现数字引导的关键技术,为导弹飞行试验任务中确保测量设备及时捕获和跟踪目标,成功地实现数字引导提供了实用的实现方法。     

具有模糊偏好认知矩阵的超对策稳定性分析

针对一类具有模糊偏好认知矩阵的超对策问题,给出了具体的稳定性分析方法。基于相对模糊距离的概念和模糊有序加权平均(FOWA)算子提出了三角模糊互补判断矩阵的一种排序方法。由此方法得到局中人的结局偏好认知向量,进而给出了一阶超对策的稳定性分析过程。最后,以实际冲突为例说明这一方法。     

应用于引信遥控装定的火控信息交联装置

自差式多普勒无线电引信发射和接收装置是引信遥控装定的重要内容.在装置中引入单片机和FPGA技术,能快速、准确的装定已经出炮口300 ms以上的密集弹药,选择工作方式,可供选择的工作方式有近炸、碰炸、遥控炸、定时(距)炸.引信具备近目标发射电磁波功能,能有效抗有源干扰、海杂波干扰和信道干扰.FPGA的高度集成特性减小了编码和解码、调制与解调电路的体积,减小了引信工作电路.     

一类具有变时滞系统的α稳定性

本文对线性变量滞系统进行讨论,通过利用Lyapunov函数的方法和线性矩阵不等式,给出了该系统的一个充分条件。并对线性控制系统稳定性的应用有一定的影响。     

论“4+1“模式给军事基础教学带来的机遇与挑战

从几方面论述了"4+1"院校人才培养模式,为军事基础教学带来的发展机遇,以及军事基础教学所面临的严峻挑战.同时提出了抓住机遇迎接挑战的对策.     

基于动力学模型的柔性加工设备机电系统状态监测与故障预警

在建立的加工设备机电系统精确动力学模型及对模型参数实时辨识的基础上［１］，建立柔性加工设备机电系统的状态监测模型，包括ＢＡＹＥＳ故障检测、突发故障检测及故障分析与定位等；同时利用Ｋｕｌ－ｂａｃｋ信息距离和多层递阶ＡＲ模型实现系统的状态与故障预警。在加工设备上的实验表明模型可行有效，它能排除柔性多变工况、时变性及随机干扰对监测与预警功能的影响，提高其鲁棒性和自适应能力。